Right-angled Artin groups as normal subgroups of mapping class groups

We construct the first examples of normal subgroups mapping class groups that are isomorphic to non-free right-angled Artin groups. Our construction also gives normal, other groups, such as braid and pure well many group, Torelli subgroup. work recovers generalizes seminal result Dahmani–Guirardel–Osin, which free, purely pseudo-Anosov give two applications our methods: (1) we produce an explicit proper subgroup group is not contained in any level $m$ congruence (2) example a with property all its even powers have free closure odd normally generate entire group. The technical theorem at heart new version windmill apparatus tailored setting actions on projection complexes Bestvina–Bromberg–Fujiwara.